------------------------------------------------------------------------------
*                                                                            *
*  Laboratorio di Analisi Algoritmi di Minimizzazione Espressioni Booleane   *
*                                                                            *
------------------------------------------------------------------------------

Giorno: 10-10-1993

Funzione: ä8  (29,250,123,48,136,186,46,66,88,21,184,175,50,18,86,149,213,229,
               6,68,252,158,135,11,233,111,102,53,2,89,251,58,237,243,161,37,
               236,121,69,118,24,209,23,120,202,116,137,139,232,247,20,228,
               177,35,124,40,17,39,82,194,13,32,169,150,203,245,59,151,47,217,
               28,43,10,34,171,168,221,5,185,147,106,204,255,80,26,131,207,
               146,16,70,148,223,198,167,115,143,224,117,163,55,77,130,235,
               205,27,234,31,162,81,145,98,42,110,219,71,188,60,105,125,97,
               142,195,173,64,180,57,216,49,215,128,62,95,87,249,138,127,0,85,
               160,182,227,4,65,14,109,15,238,208,212,74,67,191,152,72,126,
               183,45,172,187,200,7,199,197,174,3,75,19,231,129,84,12,76,201,
               248,165,226,107,112,181,30,141,239,38,119,214,8,170,73,91,176,
               132,54,206,41,108,166,101,140,103,90,225,134,36,144,196,96,92,
               230,94,79,113,254,218,9,114,1,210,179,192,104,211,190,44,51,
               157,155,99,242,63,83,220,133,78,189,222,240,22,33,52,193)

Numero di variabili: 8
Numero di mintermini: 240
Stato dell'elaborazione: TERMINATA
Generazione dell'input: CASUALE
Seme: 23
Tempo totale di elaborazione: 0:8:28

--------------------------
*         FASE A         *
--------------------------
Tempo di elaborazione: 0:0:18
Numero implicanti primi: 82

Implicanti primi determinati: 
	BCfGh
	AbdGH
	aBcFG
	AbcdG
	aBcdG
	AbceG
	aCfGh
	aBfGh
	BcdfH
	aBcdf
	Abcdf
	Abcef
	EFGH
	BEFG
	CFGH
	BdEG
	AbFG
	bFGH
	bEFH
	aFGH
	ABCf
	ABfH
	CfgH
	BfgH
	BEfg
	BdEf
	AdfH
	AbFh
	beGH
	beFG
	AefH
	bEFg
	abFH
	AcFh
	BcFh
	abFg
	aBce
	aceF
	aceH
	Bceg
	Abch
	efgH
	abeF
	abeH
	befH
	Bcfg
	beFh
	ceFh
	aBch
	cefH
	abeg
	cefg
	aceg
	befg
	AEF
	ABE
	ABD
	ACH
	ABg
	ACg
	AEg
	AdE
	bCH
	bCF
	AEh
	BEh
	Afg
	Efh
	Fgh
	Egh
	Agh
	bCg
	abD
	abC
	cgh
	bgh
	DF
	CE
	CD
	Dg
	De
	Dh

--------------------------
*         FASE B         *
--------------------------
Quine I sx
Tempo di elaborazione: 0:8:10
Numero di forme prime paragonate: 27199
Numero di tabelle cicliche esaminate: 27198
Numero di implicanti soluzione: 21

SOLUZIONE (forma minima): 
Efh + Fgh + abD + CE + De + BCfGh + abC + AbcdG + aBcdG + BEFG + CFGH + bEFH +
ABfH + BfgH + beGH + bCF + ceFh + aceg + ABg + Afg + DF